causal_order(L;R;P;Q) == i:||L||. Q(i)  (j:||L||. ji & P(j) & R(j,i)) 

latex

---

clarification:

causal_order(L;R;P;Q) == i:{0..||L||}. Q(i)  (j:{0..||L||}. ji & P(j) & R(j,i)) 

latex

Definitions	x:A. B(x), P  Q, x:A. B(x), {i..j}, ||as||, P & Q, AB
FDL editor aliases	causal_order